// <copyright file="MatchTest.cs" company="Open Source"></copyright>

using System;
using _22yards.Core;
using Microsoft.Pex.Framework;
using Microsoft.Pex.Framework.Validation;
using Microsoft.VisualStudio.TestTools.UnitTesting;

namespace _22yards.Core
{
    [TestClass]
    [PexClass(typeof(Match))]
    [PexAllowedExceptionFromTypeUnderTest(typeof(ArgumentException), AcceptExceptionSubtypes = true)]
    [PexAllowedExceptionFromTypeUnderTest(typeof(InvalidOperationException))]
    public partial class MatchTest
    {
        [PexMethod]
        public void SaveMatch([PexAssumeUnderTest]Match target)
        {
            target.SaveMatch();
            // TODO: add assertions to method MatchTest.SaveMatch(Match)
        }
        [PexMethod]
        public void LoadMatch([PexAssumeUnderTest]Match target)
        {
            target.LoadMatch();
            // TODO: add assertions to method MatchTest.LoadMatch(Match)
        }
        [PexMethod]
        public void Init(
            [PexAssumeUnderTest]Match target,
            Team team1,
            Team team2,
            int innings
        )
        {
            target.Init(team1, team2, innings);
            // TODO: add assertions to method MatchTest.Init(Match, Team, Team, Int32)
        }
        [PexMethod]
        public Match Constructor()
        {
            Match target = new Match();
            return target;
            // TODO: add assertions to method MatchTest.Constructor()
        }
    }
}
